<!DOCTYPE HTML>
<html lang="en">
    <head>
        <meta charset="utf-8">
        <title> Prototype </title>
        <link rel="stylesheet" type="text/css" href="style.css">
        <script src="ace/ace.js" type="text/javascript" charset="utf-8"></script>
        <script src="lib/jquery.js" type="text/javascript" charset="utf-8"></script>
        <script src="setup.js" type="text/javascript" charset="utf-8"></script>
    </head>

<body>

<div id="info">

  <img id="gear" src="lib/gear.png" title="click for settings"/>

	<span class='title'><a href="https://code.google.com/p/protocol-conformance/" target="_blank" title="open project page">Protocol Conformance</a></span>

  <span id="examples" > </span>

  <span id='chrome_warn' class="chrome_hide">WARNING: designed for <a href="http://www.google.com/chrome" target="_blank">Google Chrome</a></span>
	
</div>

<div id="config">
 <h2> Settings <img src="lib/gear.png" style="float: right; vertical-align:middle" /> </h2>
	
 Change code style-sheet:
  <select id="editor-style">
   <option value="">-- Change Style --</option>
  </select>

<br/><br/>

 URL argument options:
<span class="plain">
 URL/editor.html?OPTIONS
 (use & to combine options)
  worker=false : runs single-threaded
  file=FILE    : loads FILE as start example
  style=STYLE  : sets starting style-sheet
</span>

<br/>

<div id="controls"></div>
</div>

<div id="statusbar">
	<span id="status" class="status">Initializing...</span>
	<span id="cursor-position">1:0</span>
</div>

<div id="editor">/* These are not the droids you're looking for. */</div>

<div id="output">Initializing worker thread...</div>

<div id="typing" class="typing_style">Initializing...</div>

</body>
</html>
